home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / systems / mac / euro-oztex / EOT2.1#3.sea.bin / TeX-inputs / plain / actives.tex next >
Text File  |  1993-12-14  |  44KB  |  1,589 lines

  1. %%% ====================================================================
  2. %%%  @LaTeX-file{
  3. %%%     author          = "Yannis Haralambous",
  4. %%%     version         = "1.0.1",
  5. %%%     date            = "1993-12-08"
  6. %%%     time            = "0:32:38"
  7. %%%     filename        = "actives.tex",
  8. %%%     address         = "187, rue Nationale,
  9. %%%                        59800 Lille, France"
  10. %%%     telephone       = "",
  11. %%%     FAX             = "+33 20402864",
  12. %%%     checksum        = "",
  13. %%%     email           = "Yannis.Haralambous@univ-lille1.fr",
  14. %%%     codetable       = "multiple",
  15. %%%     keywords        = "",
  16. %%%     supported       = "yes",
  17. %%%     docstring       = ""
  18. %%%  }
  19. %%% ====================================================================
  20. \def\versionactivesfile{1.0.1}
  21. \message{Reading file actives.tex version\versionactivesfile...}
  22. \ifx\eqalign\undefined\else\let\protect=\relax\fi
  23. \def\DOSActives#1{\expandafter\ifx\csname #1\endcsname\relax\message{Unknow DOS #1 codepage}
  24. \else\csname #1\endcsname\fi}
  25. \def\ISOActives#1{\expandafter\ifx\csname #1\endcsname\relax\message{Unknow ISO #1 codepage}
  26. \else\csname #1\endcsname\fi}
  27. \def\DesactivateAll{%
  28. \catcode`\^^80=11\catcode`\^^81=11\catcode`\^^82=11\catcode`\^^83=11\catcode`\^^84=11\catcode`\^^85=11\catcode`\^^86=11\catcode`\^^87=11%
  29. \catcode`\^^88=11\catcode`\^^89=11\catcode`\^^8a=11\catcode`\^^8b=11\catcode`\^^8c=11\catcode`\^^8d=11\catcode`\^^8e=11\catcode`\^^8f=11%
  30. \catcode`\^^90=11\catcode`\^^91=11\catcode`\^^92=11\catcode`\^^93=11\catcode`\^^94=11\catcode`\^^95=11\catcode`\^^96=11\catcode`\^^97=11%
  31. \catcode`\^^98=11\catcode`\^^99=11\catcode`\^^9a=11\catcode`\^^9b=11\catcode`\^^9c=11\catcode`\^^9d=11\catcode`\^^9e=11\catcode`\^^9f=11%
  32. \catcode`\^^a0=11\catcode`\^^a1=11\catcode`\^^a2=11\catcode`\^^a3=11\catcode`\^^a4=11\catcode`\^^a5=11\catcode`\^^a6=11\catcode`\^^a7=11%
  33. \catcode`\^^a8=11\catcode`\^^a9=11\catcode`\^^aa=11\catcode`\^^ab=11\catcode`\^^ac=11\catcode`\^^ad=11\catcode`\^^ae=11\catcode`\^^af=11%
  34. \catcode`\^^b0=11\catcode`\^^b1=11\catcode`\^^b2=11\catcode`\^^b3=11\catcode`\^^b4=11\catcode`\^^b5=11\catcode`\^^b6=11\catcode`\^^b7=11%
  35. \catcode`\^^b8=11\catcode`\^^b9=11\catcode`\^^ba=11\catcode`\^^bb=11\catcode`\^^bc=11\catcode`\^^bd=11\catcode`\^^be=11\catcode`\^^bf=11%
  36. \catcode`\^^c0=11\catcode`\^^c1=11\catcode`\^^c2=11\catcode`\^^c3=11\catcode`\^^c4=11\catcode`\^^c5=11\catcode`\^^c6=11\catcode`\^^c7=11%
  37. \catcode`\^^c8=11\catcode`\^^c9=11\catcode`\^^ca=11\catcode`\^^cb=11\catcode`\^^cc=11\catcode`\^^cd=11\catcode`\^^ce=11\catcode`\^^cf=11%
  38. \catcode`\^^d0=11\catcode`\^^d1=11\catcode`\^^d2=11\catcode`\^^d3=11\catcode`\^^d4=11\catcode`\^^d5=11\catcode`\^^d6=11\catcode`\^^d7=11%
  39. \catcode`\^^d8=11\catcode`\^^d9=11\catcode`\^^da=11\catcode`\^^db=11\catcode`\^^dc=11\catcode`\^^dd=11\catcode`\^^de=11\catcode`\^^df=11%
  40. \catcode`\^^e0=11\catcode`\^^e1=11\catcode`\^^e2=11\catcode`\^^e3=11\catcode`\^^e4=11\catcode`\^^e5=11\catcode`\^^e6=11\catcode`\^^e7=11%
  41. \catcode`\^^e8=11\catcode`\^^e9=11\catcode`\^^ea=11\catcode`\^^eb=11\catcode`\^^ec=11\catcode`\^^ed=11\catcode`\^^ee=11\catcode`\^^ef=11%
  42. \catcode`\^^f0=11\catcode`\^^f1=11\catcode`\^^f2=11\catcode`\^^f3=11\catcode`\^^f4=11\catcode`\^^f5=11\catcode`\^^f6=11\catcode`\^^f7=11%
  43. \catcode`\^^f8=11\catcode`\^^f9=11\catcode`\^^fa=11\catcode`\^^fb=11\catcode`\^^fc=11\catcode`\^^fd=11\catcode`\^^fe=11\catcode`\^^ff=11%
  44. }%
  45. \def\ActivateAll{%
  46. \catcode`\^^80=\active\catcode`\^^81=\active\catcode`\^^82=\active\catcode`\^^83=\active\catcode`\^^84=\active\catcode`\^^85=\active\catcode`\^^86=\active\catcode`\^^87=\active%
  47. \catcode`\^^88=\active\catcode`\^^89=\active\catcode`\^^8a=\active\catcode`\^^8b=\active\catcode`\^^8c=\active\catcode`\^^8d=\active\catcode`\^^8e=\active\catcode`\^^8f=\active%
  48. \catcode`\^^90=\active\catcode`\^^91=\active\catcode`\^^92=\active\catcode`\^^93=\active\catcode`\^^94=\active\catcode`\^^95=\active\catcode`\^^96=\active\catcode`\^^97=\active%
  49. \catcode`\^^98=\active\catcode`\^^99=\active\catcode`\^^9a=\active\catcode`\^^9b=\active\catcode`\^^9c=\active\catcode`\^^9d=\active\catcode`\^^9e=\active\catcode`\^^9f=\active%
  50. \catcode`\^^a0=\active\catcode`\^^a1=\active\catcode`\^^a2=\active\catcode`\^^a3=\active\catcode`\^^a4=\active\catcode`\^^a5=\active\catcode`\^^a6=\active\catcode`\^^a7=\active%
  51. \catcode`\^^a8=\active\catcode`\^^a9=\active\catcode`\^^aa=\active\catcode`\^^ab=\active\catcode`\^^ac=\active\catcode`\^^ad=\active\catcode`\^^ae=\active\catcode`\^^af=\active%
  52. \catcode`\^^b0=\active\catcode`\^^b1=\active\catcode`\^^b2=\active\catcode`\^^b3=\active\catcode`\^^b4=\active\catcode`\^^b5=\active\catcode`\^^b6=\active\catcode`\^^b7=\active%
  53. \catcode`\^^b8=\active\catcode`\^^b9=\active\catcode`\^^ba=\active\catcode`\^^bb=\active\catcode`\^^bc=\active\catcode`\^^bd=\active\catcode`\^^be=\active\catcode`\^^bf=\active%
  54. \catcode`\^^c0=\active\catcode`\^^c1=\active\catcode`\^^c2=\active\catcode`\^^c3=\active\catcode`\^^c4=\active\catcode`\^^c5=\active\catcode`\^^c6=\active\catcode`\^^c7=\active%
  55. \catcode`\^^c8=\active\catcode`\^^c9=\active\catcode`\^^ca=\active\catcode`\^^cb=\active\catcode`\^^cc=\active\catcode`\^^cd=\active\catcode`\^^ce=\active\catcode`\^^cf=\active%
  56. \catcode`\^^d0=\active\catcode`\^^d1=\active\catcode`\^^d2=\active\catcode`\^^d3=\active\catcode`\^^d4=\active\catcode`\^^d5=\active\catcode`\^^d6=\active\catcode`\^^d7=\active%
  57. \catcode`\^^d8=\active\catcode`\^^d9=\active\catcode`\^^da=\active\catcode`\^^db=\active\catcode`\^^dc=\active\catcode`\^^dd=\active\catcode`\^^de=\active\catcode`\^^df=\active%
  58. \catcode`\^^e0=\active\catcode`\^^e1=\active\catcode`\^^e2=\active\catcode`\^^e3=\active\catcode`\^^e4=\active\catcode`\^^e5=\active\catcode`\^^e6=\active\catcode`\^^e7=\active%
  59. \catcode`\^^e8=\active\catcode`\^^e9=\active\catcode`\^^ea=\active\catcode`\^^eb=\active\catcode`\^^ec=\active\catcode`\^^ed=\active\catcode`\^^ee=\active\catcode`\^^ef=\active%
  60. \catcode`\^^f0=\active\catcode`\^^f1=\active\catcode`\^^f2=\active\catcode`\^^f3=\active\catcode`\^^f4=\active\catcode`\^^f5=\active\catcode`\^^f6=\active\catcode`\^^f7=\active%
  61. \catcode`\^^f8=\active\catcode`\^^f9=\active\catcode`\^^fa=\active\catcode`\^^fb=\active\catcode`\^^fc=\active\catcode`\^^fd=\active\catcode`\^^fe=\active\catcode`\^^ff=\active%
  62. }%
  63. \ActivateAll%
  64. \def^^80{\relax}\def^^81{\relax}\def^^82{\relax}\def^^83{\relax}\def^^84{\relax}\def^^85{\relax}\def^^86{\relax}\def^^87{\relax}%
  65. \def^^88{\relax}\def^^89{\relax}\def^^8a{\relax}\def^^8b{\relax}\def^^8c{\relax}\def^^8d{\relax}\def^^8e{\relax}\def^^8f{\relax}%
  66. \def^^90{\relax}\def^^91{\relax}\def^^92{\relax}\def^^93{\relax}\def^^94{\relax}\def^^95{\relax}\def^^96{\relax}\def^^97{\relax}%
  67. \def^^98{\relax}\def^^99{\relax}\def^^9a{\relax}\def^^9b{\relax}\def^^9c{\relax}\def^^9d{\relax}\def^^9e{\relax}\def^^9f{\relax}%
  68. \def^^a0{\relax}\def^^a1{\relax}\def^^a2{\relax}\def^^a3{\relax}\def^^a4{\relax}\def^^a5{\relax}\def^^a6{\relax}\def^^a7{\relax}%
  69. \def^^a8{\relax}\def^^a9{\relax}\def^^aa{\relax}\def^^ab{\relax}\def^^ac{\relax}\def^^ad{\relax}\def^^ae{\relax}\def^^af{\relax}%
  70. \def^^b0{\relax}\def^^b1{\relax}\def^^b2{\relax}\def^^b3{\relax}\def^^b4{\relax}\def^^b5{\relax}\def^^b6{\relax}\def^^b7{\relax}%
  71. \def^^b8{\relax}\def^^b9{\relax}\def^^ba{\relax}\def^^bb{\relax}\def^^bc{\relax}\def^^bd{\relax}\def^^be{\relax}\def^^bf{\relax}%
  72. \def^^c0{\relax}\def^^c1{\relax}\def^^c2{\relax}\def^^c3{\relax}\def^^c4{\relax}\def^^c5{\relax}\def^^c6{\relax}\def^^c7{\relax}%
  73. \def^^c8{\relax}\def^^c9{\relax}\def^^ca{\relax}\def^^cb{\relax}\def^^cc{\relax}\def^^cd{\relax}\def^^ce{\relax}\def^^cf{\relax}%
  74. \def^^d0{\relax}\def^^d1{\relax}\def^^d2{\relax}\def^^d3{\relax}\def^^d4{\relax}\def^^d5{\relax}\def^^d6{\relax}\def^^d7{\relax}%
  75. \def^^d8{\relax}\def^^d9{\relax}\def^^da{\relax}\def^^db{\relax}\def^^dc{\relax}\def^^dd{\relax}\def^^de{\relax}\def^^df{\relax}%
  76. \def^^e0{\relax}\def^^e1{\relax}\def^^e2{\relax}\def^^e3{\relax}\def^^e4{\relax}\def^^e5{\relax}\def^^e6{\relax}\def^^e7{\relax}%
  77. \def^^e8{\relax}\def^^e9{\relax}\def^^ea{\relax}\def^^eb{\relax}\def^^ec{\relax}\def^^ed{\relax}\def^^ee{\relax}\def^^ef{\relax}%
  78. \def^^f0{\relax}\def^^f1{\relax}\def^^f2{\relax}\def^^f3{\relax}\def^^f4{\relax}\def^^f5{\relax}\def^^f6{\relax}\def^^f7{\relax}%
  79. \def^^f8{\relax}\def^^f9{\relax}\def^^fa{\relax}\def^^fb{\relax}\def^^fc{\relax}\def^^fd{\relax}\def^^fe{\relax}\def^^ff{\relax}%
  80. %
  81. %Macintosh encoding characters-->DC font
  82. \def\StdMacActives{%
  83. \def Ç{\protect\"A}%
  84. \def ü{\protect\AA{}}%
  85. \def é{\protect\c C}%
  86. \def â{\protect\'E}%
  87. \def ä{\protect\~N}%
  88. \def à{\protect\"O}%
  89. \def å{\protect\"U}%
  90. \def ç{\protect\'a}%
  91. \def ê{\protect\`a}%
  92. \def ë{\protect\^a}%
  93. \def è{\protect\"a}%
  94. \def ï{\protect\~a}%
  95. \def î{\protect\aa{}}%
  96. \def ì{\protect\c c}%
  97. \def Ä{\protect\'e}%
  98. \def Å{\protect\`e}%
  99. \def É{\protect\^e}%
  100. \def æ{\protect\"e}%
  101. \def Æ{\protect\'i}%
  102. \def ô{\protect\`i}%
  103. \def ö{\protect\^i}%
  104. \def ò{\protect\"i}%
  105. \def û{\protect\~n}%
  106. \def ù{\protect\'o}%
  107. \def ÿ{\protect\`o}%
  108. \def Ö{\protect\^o}%
  109. \def Ü{\protect\"o}%
  110. \def ¢{\protect\~o}%
  111. \def £{\protect\'u}%
  112. \def ¥{\protect\`u}%
  113. \def ₧{\protect\^u}%
  114. \def ƒ{\protect\"u}%
  115. \def º{\protect\ss{}}%
  116. \def ║{\char"DF{}}%
  117. \def «{\protect\AE{}}%
  118. \def »{\protect\O{}}%
  119. \def ░{\protect SS}% simulates uppercase German es-zet, for \uppercase etc.
  120. \def ╛{\protect\oe{}}%
  121. \def ┐{\protect\o{}}%
  122. \def ╦{\protect\`A}%
  123. \def ╠{\protect\~A}%
  124. \def ═{\protect\~O}%
  125. \def ╬{\protect\OE{}}%
  126. \def ╧{\protect\oe{}}%
  127. \def ╪{\protect\"y}%
  128. \def ┘{\protect\"Y}%
  129. \def σ{\protect\^A}%
  130. \def µ{\protect\^E}%
  131. \def τ{\protect\'A}%
  132. \def Φ{\protect\"E}%
  133. \def Θ{\protect\`E}%
  134. \def Ω{\protect\'I}%
  135. \def δ{\protect\^I}%
  136. \def ∞{\protect\"I}%
  137. \def φ{\protect\`I}%
  138. \def ε{\protect\'O}%
  139. \def ∩{\protect\^O}%
  140. \def ±{\protect\`O}%
  141. \def ≥{\protect\'U}%
  142. \def ≤{\protect\^U}%
  143. \def ⌠{\protect\`U}%
  144. \uccode`\Ç=`\Ç\lccode`\Ç=`\è%
  145. \uccode`\ü=`\ü\lccode`\ü=`\î%
  146. \uccode`\é=`\é\lccode`\é=`\ì%
  147. \uccode`\â=`\â\lccode`\â=`\Ä%
  148. \uccode`\ä=`\ä\lccode`\ä=`\û%
  149. \uccode`\à=`\à\lccode`\à=`\Ü%
  150. \uccode`\å=`\å\lccode`\å=`\ƒ%
  151. \uccode`\ç=`\τ\lccode`\ç=`\ç%
  152. \uccode`\ê=`\╦\lccode`\ê=`\ê%
  153. \uccode`\ë=`\σ\lccode`\ë=`\ë%
  154. \uccode`\è=`\Ç\lccode`\è=`\è%
  155. \uccode`\ï=`\╠\lccode`\ï=`\ï%
  156. \uccode`\î=`\ü\lccode`\î=`\î%
  157. \uccode`\ì=`\é\lccode`\ì=`\ì%
  158. \uccode`\Ä=`\â\lccode`\Ä=`\Ä%
  159. \uccode`\Å=`\Θ\lccode`\Å=`\Å%
  160. \uccode`\É=`\µ\lccode`\É=`\É%
  161. \uccode`\æ=`\Φ\lccode`\æ=`\æ%
  162. \uccode`\Æ=`\Ω\lccode`\Æ=`\Æ%
  163. \uccode`\ô=`\φ\lccode`\ô=`\ô%
  164. \uccode`\ö=`\δ\lccode`\ö=`\ö%
  165. \uccode`\ò=`\∞\lccode`\ò=`\ò%
  166. \uccode`\û=`\ä\lccode`\û=`\û%
  167. \uccode`\ù=`\ε\lccode`\ù=`\ù%
  168. \uccode`\ÿ=`\±\lccode`\ÿ=`\ÿ%
  169. \uccode`\Ö=`\∩\lccode`\Ö=`\Ö%
  170. \uccode`\Ü=`\à\lccode`\Ü=`\Ü%
  171. \uccode`\¢=`\═\lccode`\¢=`\¢%
  172. \uccode`\£=`\≥\lccode`\£=`\£%
  173. \uccode`\¥=`\⌠\lccode`\¥=`\¥%
  174. \uccode`\₧=`\≤\lccode`\₧=`\₧%
  175. \uccode`\ƒ=`\å\lccode`\ƒ=`\ƒ%
  176. \uccode`\º=`\║\lccode`\º=`\º% ║ simulates SS
  177. \uccode`\║=`\║\lccode`\║=`\º% ║ simulates SS
  178. \uccode`\«=`\«\lccode`\«=`\╛%
  179. \uccode`\»=`\»\lccode`\»=`\┐%
  180. \uccode`\╛=`\«\lccode`\╛=`\╛%
  181. \uccode`\┐=`\»\lccode`\┐=`\┐%
  182. \uccode`\╦=`\╦\lccode`\╦=`\ê%
  183. \uccode`\╠=`\╠\lccode`\╠=`\ï%
  184. \uccode`\═=`\═\lccode`\═=`\¢%
  185. \uccode`\╬=`\╬\lccode`\╬=`\╧%
  186. \uccode`\╧=`\╬\lccode`\╧=`\╧%
  187. \uccode`\╪=`\┘\lccode`\╪=`\╪%
  188. \uccode`\┘=`\┘\lccode`\┘=`\╪%
  189. \uccode`\σ=`\σ\lccode`\σ=`\ë%
  190. \uccode`\µ=`\µ\lccode`\µ=`\É%
  191. \uccode`\τ=`\τ\lccode`\τ=`\ç%
  192. \uccode`\Φ=`\Φ\lccode`\Φ=`\æ%
  193. \uccode`\Θ=`\Θ\lccode`\Θ=`\Å%
  194. \uccode`\Ω=`\Ω\lccode`\Ω=`\Æ%
  195. \uccode`\δ=`\δ\lccode`\δ=`\ö%
  196. \uccode`\∞=`\∞\lccode`\∞=`\ò%
  197. \uccode`\φ=`\φ\lccode`\φ=`\ô%
  198. \uccode`\ε=`\ε\lccode`\ε=`\ù%
  199. \uccode`\∩=`\∩\lccode`\∩=`\Ö%
  200. \uccode`\±=`\±\lccode`\±=`\ÿ%
  201. \uccode`\≥=`\≥\lccode`\≥=`\£%
  202. \uccode`\≤=`\≤\lccode`\≤=`\₧%
  203. \uccode`\⌠=`\⌠\lccode`\⌠=`\¥%
  204. }
  205. %
  206. %Macintosh Greek System encoding characters-->Greek TeX encoding
  207. \def\GRMacActives{%
  208. \def ß{a}%
  209. \def Γ{b}%
  210. \def τ{g}%
  211. \def Σ{d}%
  212. \def σ{e}%
  213. \def ·{z}%
  214. \def Φ{h}%
  215. \def ⌡{j}%
  216. \def Θ{i}%
  217. \def δ{k}%
  218. \def ∞{l}%
  219. \def φ{m}%
  220. \def ε{n}%
  221. \def Ω{x}%
  222. \def ∩{o}%
  223. \def ≡{p}%
  224. \def ≥{r}%
  225. \def ≤{s}%
  226. \def ≈{c}%
  227. \def ⌠{t}%
  228. \def ∙{u}%
  229. \def µ{f}%
  230. \def °{q}%
  231. \def π{y}%
  232. \def ÷{w}%
  233. \def └{'a}%
  234. \def █{'e}%
  235. \def ▄{'h}%
  236. \def ▌{'i}%
  237. \def ▐{'o}%
  238. \def α{'u}%
  239. \def ±{'w}%
  240. \def √{"i}%
  241. \def ⁿ{"u}%
  242. \def ²{"'i}%
  243. \def ■{"'u}%
  244. \def ░{A}%
  245. \def ╡{B}%
  246. \def í{G}%
  247. \def ó{D}%
  248. \def ╢{E}%
  249. \def ╖{Z}%
  250. \def ╕{H}%
  251. \def ú{J}%
  252. \def ╣{I}%
  253. \def ║{K}%
  254. \def ñ{L}%
  255. \def ╗{M}%
  256. \def ┴{N}%
  257. \def Ñ{X}%
  258. \def ├{O}%
  259. \def ª{P}%
  260. \def ─{R}%
  261. \def ¬{S}%
  262. \def ╞{T}%
  263. \def ╦{U}%
  264. \def ╝{F}%
  265. \def ╠{Q}%
  266. \def ╛{Y}%
  267. \def ┐{W}%
  268. \def ═{'A}%
  269. \def ╬{'E}%
  270. \def ╫{'H}%
  271. \def ╪{'I}%
  272. \def ┘{'O}%
  273. \def ┌{'U}%
  274. \def ▀{'W}%
  275. \def ½{"I}%
  276. \def ╜{"U}%
  277. \uccode`\ß=`\░\lccode`\ß=`\ß%
  278. \uccode`\Γ=`\╡\lccode`\Γ=`\Γ%
  279. \uccode`\τ=`\í\lccode`\τ=`\τ%
  280. \uccode`\Σ=`\ó\lccode`\Σ=`\Σ%
  281. \uccode`\σ=`\╢\lccode`\σ=`\σ%
  282. \uccode`\·=`\╖\lccode`\·=`\·%
  283. \uccode`\Φ=`\╕\lccode`\Φ=`\Φ%
  284. \uccode`\⌡=`\ú\lccode`\⌡=`\⌡%
  285. \uccode`\Θ=`\╣\lccode`\Θ=`\Θ%
  286. \uccode`\δ=`\║\lccode`\δ=`\δ%
  287. \uccode`\∞=`\ñ\lccode`\∞=`\∞%
  288. \uccode`\φ=`\╗\lccode`\φ=`\φ%
  289. \uccode`\ε=`\┴\lccode`\ε=`\ε%
  290. \uccode`\∩=`\├\lccode`\∩=`\∩%
  291. \uccode`\≡=`\ª\lccode`\≡=`\≡%
  292. \uccode`\≥=`\─\lccode`\≥=`\≥%
  293. \uccode`\≤=`\¬\lccode`\≤=`\≤%
  294. \uccode`\≈=`\¬\lccode`\≈=`\≈%
  295. \uccode`\⌠=`\╞\lccode`\⌠=`\⌠%
  296. \uccode`\∙=`\╦\lccode`\∙=`\∙%
  297. \uccode`\µ=`\╝\lccode`\µ=`\µ%
  298. \uccode`\°=`\╠\lccode`\°=`\°%
  299. \uccode`\π=`\╛\lccode`\π=`\π%
  300. \uccode`\÷=`\┐\lccode`\÷=`\÷%
  301. \uccode`\└=`\═\lccode`\└=`\└%
  302. \uccode`\█=`\╬\lccode`\█=`\█%
  303. \uccode`\▌=`\╪\lccode`\▌=`\▌%
  304. \uccode`\α=`\┌\lccode`\α=`\α%
  305. \uccode`\▐=`\┘\lccode`\▐=`\▐%
  306. \uccode`\±=`\▀\lccode`\±=`\±%
  307. \uccode`\√=`\½\lccode`\√=`\√%
  308. \uccode`\ⁿ=`\╜\lccode`\ⁿ=`\ⁿ%
  309. \uccode`\²=`\½\lccode`\²=`\²%
  310. \uccode`\■=`\╜\lccode`\■=`\■%
  311. \uccode`\░=`\░\lccode`\░=`\ß%
  312. \uccode`\╡=`\╡\lccode`\╡=`\Γ%
  313. \uccode`\í=`\í\lccode`\í=`\τ%
  314. \uccode`\ó=`\ó\lccode`\ó=`\Σ%
  315. \uccode`\╢=`\╢\lccode`\╢=`\σ%
  316. \uccode`\╖=`\╖\lccode`\╖=`\·%
  317. \uccode`\╕=`\╕\lccode`\╕=`\Φ%
  318. \uccode`\ú=`\ú\lccode`\ú=`\⌡%
  319. \uccode`\╣=`\╣\lccode`\╣=`\Θ%
  320. \uccode`\║=`\║\lccode`\║=`\δ%
  321. \uccode`\ñ=`\ñ\lccode`\ñ=`\∞%
  322. \uccode`\╗=`\╗\lccode`\╗=`\φ%
  323. \uccode`\┴=`\┴\lccode`\┴=`\ε%
  324. \uccode`\├=`\├\lccode`\├=`\∩%
  325. \uccode`\ª=`\ª\lccode`\ª=`\≡%
  326. \uccode`\─=`\─\lccode`\─=`\≥%
  327. \uccode`\¬=`\¬\lccode`\¬=`\≤%
  328. \uccode`\╞=`\╞\lccode`\╞=`\⌠%
  329. \uccode`\╦=`\╦\lccode`\╦=`\∙%
  330. \uccode`\╝=`\╝\lccode`\╝=`\µ%
  331. \uccode`\╠=`\╠\lccode`\╠=`\°%
  332. \uccode`\╛=`\╛\lccode`\╛=`\π%
  333. \uccode`\┐=`\┐\lccode`\┐=`\÷%
  334. \uccode`\═=`\═\lccode`\═=`\└%
  335. \uccode`\╬=`\╬\lccode`\╬=`\█%
  336. \uccode`\╪=`\╪\lccode`\╪=`\▌%
  337. \uccode`\┌=`\┌\lccode`\┌=`\α%
  338. \uccode`\┘=`\┘\lccode`\┘=`\▐%
  339. \uccode`\▀=`\▀\lccode`\▀=`\±%
  340. \uccode`\½=`\½\lccode`\½=`\√%
  341. \uccode`\╜=`\╜\lccode`\╜=`\ⁿ%
  342. }%
  343. %
  344. %
  345. %Macintosh Cyrillic encoding characters-->WNCYR TeX encoding
  346. \def\CyrMacActives{% 
  347. \def Ç{A}%
  348. \def ü{B}%
  349. \def é{V}%
  350. \def â{G}%
  351. \def ä{D{}}%
  352. \def à{E}%
  353. \def å{ZH}%
  354. \def ç{Z{}}%
  355. \def ê{I}%
  356. \def ë{\string^12}%
  357. \def è{K{}}%
  358. \def ï{L{}}%
  359. \def î{M}%
  360. \def ì{N{}}%
  361. \def Ä{O}%
  362. \def Å{P}%
  363. \def É{R}%
  364. \def æ{S{}}%
  365. \def Æ{T{}}%
  366. \def ô{U}%
  367. \def ö{F}%
  368. \def ò{KH}%
  369. \def û{TS{}}%
  370. \def ù{CH}%
  371. \def ÿ{SH{}}%
  372. \def Ö{SHCH{}}%
  373. \def Ü{\string^5f}%
  374. \def ¢{Y{}}%
  375. \def £{\string^5e}%
  376. \def ¥{\char'003{}}%
  377. \def ₧{YU}%
  378. \def ƒ{YA}%
  379. \def º{\=I}%
  380. \def ½{DJ}%
  381. \def ¼{dj}%
  382. \def «{\'G}%
  383. \def »{\'g}%
  384. \def ┤{\char'014}%
  385. \def ╖{J}%
  386. \def ╕{\=E}%
  387. \def ╣{\=e}%
  388. \def ║{\"I}%
  389. \def ╗{\"\i{}}%
  390. \def ╝{LJ}%
  391. \def ╜{lj}%
  392. \def ╛{NJ}%
  393. \def ┐{nj}%
  394. \def └{j}%
  395. \def ┴{\DZ{}}%
  396. \def ╦{\'C}%
  397. \def ╠{\'c}%
  398. \def ═{\'K}%
  399. \def ╬{\'k}%
  400. \def ╧{\dz{}}%
  401. \def ╪{\u U}%
  402. \def ┘{\u u}%
  403. \def ┌{\Dzh{}}%
  404. \def █{\dzh{}}%
  405. \def ▌{\"E}%
  406. \def ▐{\"e}%
  407. \def ▀{ya}%
  408. \def α{a}%
  409. \def ß{b}%
  410. \def Γ{v}%
  411. \def π{g}%
  412. \def Σ{d{}}%
  413. \def σ{e}%
  414. \def µ{zh}%
  415. \def τ{z{}}%
  416. \def Φ{i}%
  417. \def Θ{\string^1a}%
  418. \def Ω{k{}}%
  419. \def δ{l{}}%
  420. \def ∞{m}%
  421. \def φ{n{}}%
  422. \def ε{o}%
  423. \def ∩{p}%
  424. \def ≡{r}%
  425. \def ±{s{}}%
  426. \def ≥{t{}}%
  427. \def ≤{u{}}%
  428. \def ⌠{f}%
  429. \def ⌡{h}%
  430. \def ÷{ts{}}%
  431. \def ≈{ch}%
  432. \def °{w}%
  433. \def ∙{x}%
  434. \def ·{\char'177{}}%
  435. \def √{y{}}%
  436. \def ⁿ{\char'176{}}%
  437. \def ²{\char'013{}}%
  438. \def ■{yu}%
  439. \uccode`\Ç=`\Ç\lccode`\Ç=`\α%
  440. \uccode`\ü=`\ü\lccode`\ü=`\ß%
  441. \uccode`\é=`\é\lccode`\é=`\Γ%
  442. \uccode`\â=`\â\lccode`\â=`\π%
  443. \uccode`\ä=`\ä\lccode`\ä=`\Σ%
  444. \uccode`\à=`\à\lccode`\à=`\σ%
  445. \uccode`\å=`\å\lccode`\å=`\µ%
  446. \uccode`\ç=`\ç\lccode`\ç=`\τ%
  447. \uccode`\ê=`\ê\lccode`\ê=`\Φ%
  448. \uccode`\ë=`\ë\lccode`\ë=`\Θ%
  449. \uccode`\è=`\è\lccode`\è=`\Ω%
  450. \uccode`\ï=`\ï\lccode`\ï=`\δ%
  451. \uccode`\î=`\î\lccode`\î=`\∞%
  452. \uccode`\ì=`\ì\lccode`\ì=`\φ%
  453. \uccode`\Ä=`\Ä\lccode`\Ä=`\ε%
  454. \uccode`\Å=`\Å\lccode`\Å=`\∩%
  455. \uccode`\É=`\É\lccode`\É=`\≡%
  456. \uccode`\æ=`\æ\lccode`\æ=`\±%
  457. \uccode`\Æ=`\Æ\lccode`\Æ=`\≥%
  458. \uccode`\ô=`\ô\lccode`\ô=`\≤%
  459. \uccode`\ö=`\ö\lccode`\ö=`\⌠%
  460. \uccode`\ò=`\ò\lccode`\ò=`\⌡%
  461. \uccode`\û=`\û\lccode`\û=`\÷%
  462. \uccode`\ù=`\ù\lccode`\ù=`\≈%
  463. \uccode`\ÿ=`\ÿ\lccode`\ÿ=`\°%
  464. \uccode`\Ö=`\Ö\lccode`\Ö=`\∙%
  465. \uccode`\Ü=`\Ü\lccode`\Ü=`\·%
  466. \uccode`\¢=`\¢\lccode`\¢=`\√%
  467. \uccode`\£=`\£\lccode`\£=`\ⁿ%
  468. \uccode`\¥=`\¥\lccode`\¥=`\²%
  469. \uccode`\₧=`\₧\lccode`\₧=`\■%
  470. \uccode`\ƒ=`\ƒ\lccode`\ƒ=`\▀%
  471. \uccode`\º=`\º\lccode`\º=`\┤%
  472. \uccode`\½=`\½\lccode`\½=`\¼%
  473. \uccode`\¼=`\½\lccode`\¼=`\¼%
  474. \uccode`\«=`\«\lccode`\«=`\»%
  475. \uccode`\»=`\«\lccode`\»=`\»%
  476. \uccode`\┤=`\º\lccode`\┤=`\┤%
  477. \uccode`\╖=`\╖\lccode`\╖=`\└%
  478. \uccode`\╕=`\╕\lccode`\╕=`\╣%
  479. \uccode`\╣=`\╕\lccode`\╣=`\╣%
  480. \uccode`\║=`\║\lccode`\║=`\╗%
  481. \uccode`\╗=`\║\lccode`\╗=`\╗%
  482. \uccode`\╝=`\╝\lccode`\╝=`\╜%
  483. \uccode`\╜=`\╝\lccode`\╜=`\╜%
  484. \uccode`\╛=`\╛\lccode`\╛=`\┐%
  485. \uccode`\┐=`\╛\lccode`\┐=`\┐%
  486. \uccode`\└=`\╖\lccode`\└=`\└%
  487. \uccode`\┴=`\┴\lccode`\┴=`\╧%
  488. \uccode`\╦=`\╦\lccode`\╦=`\╠%
  489. \uccode`\╠=`\╦\lccode`\╠=`\╠%
  490. \uccode`\═=`\═\lccode`\═=`\╬%
  491. \uccode`\╬=`\═\lccode`\╬=`\╬%
  492. \uccode`\╧=`\┴\lccode`\╧=`\╧%
  493. \uccode`\╪=`\╪\lccode`\╪=`\┘%
  494. \uccode`\┘=`\╪\lccode`\┘=`\┘%
  495. \uccode`\┌=`\┌\lccode`\┌=`\█%
  496. \uccode`\█=`\┌\lccode`\█=`\█%
  497. \uccode`\▌=`\▌\lccode`\▌=`\▐%
  498. \uccode`\▐=`\▌\lccode`\▐=`\▐%
  499. \uccode`\▀=`\ƒ\lccode`\▀=`\▀%
  500. \uccode`\α=`\Ç\lccode`\α=`\α%
  501. \uccode`\ß=`\ü\lccode`\ß=`\ß%
  502. \uccode`\Γ=`\é\lccode`\Γ=`\Γ%
  503. \uccode`\π=`\â\lccode`\π=`\π%
  504. \uccode`\Σ=`\ä\lccode`\Σ=`\Σ%
  505. \uccode`\σ=`\à\lccode`\σ=`\σ%
  506. \uccode`\µ=`\å\lccode`\µ=`\µ%
  507. \uccode`\τ=`\ç\lccode`\τ=`\τ%
  508. \uccode`\Φ=`\ê\lccode`\Φ=`\Φ%
  509. \uccode`\Θ=`\ë\lccode`\Θ=`\Θ%
  510. \uccode`\Ω=`\è\lccode`\Ω=`\Ω%
  511. \uccode`\δ=`\ï\lccode`\δ=`\δ%
  512. \uccode`\∞=`\î\lccode`\∞=`\∞%
  513. \uccode`\φ=`\ì\lccode`\φ=`\φ%
  514. \uccode`\ε=`\Ä\lccode`\ε=`\ε%
  515. \uccode`\∩=`\Å\lccode`\∩=`\∩%
  516. \uccode`\≡=`\É\lccode`\≡=`\≡%
  517. \uccode`\±=`\æ\lccode`\±=`\±%
  518. \uccode`\≥=`\Æ\lccode`\≥=`\≥%
  519. \uccode`\≤=`\ô\lccode`\≤=`\≤%
  520. \uccode`\⌠=`\ö\lccode`\⌠=`\⌠%
  521. \uccode`\⌡=`\ò\lccode`\⌡=`\⌡%
  522. \uccode`\÷=`\û\lccode`\÷=`\÷%
  523. \uccode`\≈=`\ù\lccode`\≈=`\≈%
  524. \uccode`\°=`\ÿ\lccode`\°=`\°%
  525. \uccode`\∙=`\Ö\lccode`\∙=`\∙%
  526. \uccode`\·=`\Ü\lccode`\·=`\·%
  527. \uccode`\√=`\¢\lccode`\√=`\√%
  528. \uccode`\ⁿ=`\£\lccode`\ⁿ=`\ⁿ%
  529. \uccode`\²=`\¥\lccode`\²=`\²%
  530. \uccode`\■=`\₧\lccode`\■=`\■%
  531. }
  532. %Macintosh Arabic encoding characters-->Arabic TeX encoding
  533. \def\ArabMacActives{%
  534. \def Ç{\protect\"A}%
  535. \def é{\protect\c C}%
  536. \def â{\protect\'E}%
  537. \def ä{\protect\~N}%
  538. \def à{\protect\"O}%
  539. \def å{\protect\"U}%
  540. \def ç{\protect\'a}%
  541. \def ê{\protect\`a}%
  542. \def ë{\protect\^a}%
  543. \def è{\protect\"a}%
  544. \def ï{'n}%
  545. \def î{<}%
  546. \def ì{\protect\c c}%
  547. \def Ä{\protect\'e}%
  548. \def Å{\protect\`e}%
  549. \def É{\protect\^e}%
  550. \def æ{\protect\"e}%
  551. \def Æ{\protect\'i}%
  552. \def ö{\protect\^i}%
  553. \def ò{\protect\"i}%
  554. \def û{\protect\~n}%
  555. \def ù{\protect\'o}%
  556. \def ÿ{>}%
  557. \def Ö{\protect\^o}%
  558. \def Ü{\protect\"o}%
  559. \def £{\protect\'u}%
  560. \def ¥{\protect\`u}%
  561. \def ₧{\protect\^u}%
  562. \def ƒ{\protect\"u}%
  563. \def á{ }%
  564. \def í{!}%
  565. \def ó{"}%
  566. \def ú{\protect\#}%
  567. \def ñ{\protect\$}%
  568. \def Ñ{\protect\%}%
  569. \def ª{\protect\&}%
  570. \def º{'}%
  571. \def ¿{(}%
  572. \def ⌐{)}%
  573. \def ¬{*}%
  574. \def ½{{}$+${}}%
  575. \def ¼{,}%
  576. \def ¡{\_}%
  577. \def «{.}%
  578. \def »{/}%
  579. \def ░{0}%
  580. \def ▒{1}%
  581. \def ▓{2}%
  582. \def │{3}%
  583. \def ┤{4}%
  584. \def ╡{5}%
  585. \def ╢{6}%
  586. \def ╖{7}%
  587. \def ╕{8}%
  588. \def ╣{9}%
  589. \def ║{:}%
  590. \def ╗{;}%
  591. \def ╝{<}%
  592. \def ╜{{}$=${}}%
  593. \def ╛{>}%
  594. \def ┐{?}%
  595. \def └{*}%
  596. \def ┴{||}%
  597. \def ┬{'A}%
  598. \def ├{'a}%
  599. \def ─{'u}%
  600. \def ┼{'i}%
  601. \def ╞{'y}%
  602. \def ╟{A}%
  603. \def ╚{b}%
  604. \def ╔{"t}%
  605. \def ╩{t}%
  606. \def ╦{th}%
  607. \def ╠{j}%
  608. \def ═{H}%
  609. \def ╬{kh}%
  610. \def ╧{d}%
  611. \def ╨{dh}%
  612. \def ╤{r}%
  613. \def ╥{z}%
  614. \def ╙{s}%
  615. \def ╘{sh}%
  616. \def ╒{S}%
  617. \def ╓{D}%
  618. \def ╫{T}%
  619. \def ╪{Z}%
  620. \def ┘{`}%
  621. \def ┌{gh}%
  622. \def █{[}%
  623. \def ▄{\char'174}%
  624. \def ▌{]}%
  625. \def ▐{\^}%
  626. \def ▀{\_}%
  627. \def α{}%
  628. \def ß{f}%
  629. \def Γ{q}%
  630. \def π{k}%
  631. \def Σ{l}%
  632. \def σ{m}%
  633. \def µ{n}%
  634. \def τ{-h}%
  635. \def Φ{U}%
  636. \def Θ{I}%
  637. \def Ω{y}%
  638. \def δ{aN}%
  639. \def ∞{uN}%
  640. \def φ{iN}%
  641. \def ε{a}%
  642. \def ∩{u}%
  643. \def ≡{i}%
  644. \def ±{+}%
  645. \def ≥{=}%
  646. \def ≤{p}%
  647. \def ⌠{'t}%
  648. \def ⌡{ch}%
  649. \def ÷{e}%
  650. \def ≈{v}%
  651. \def °{g}%
  652. \def ∙{'d}%
  653. \def ·{'r}%
  654. \def √{}%
  655. \def ⁿ{|}%
  656. \def ²{}%
  657. \def ■{zh}%
  658. \def  {E}%
  659. \uccode`\Ç=`\Ç\lccode`\Ç=`\Ç%
  660. \uccode`\ü=`\ü\lccode`\ü=`\ü%
  661. \uccode`\é=`\é\lccode`\é=`\é%
  662. \uccode`\â=`\â\lccode`\â=`\â%
  663. \uccode`\ä=`\ä\lccode`\ä=`\ä%
  664. \uccode`\à=`\à\lccode`\à=`\à%
  665. \uccode`\å=`\å\lccode`\å=`\å%
  666. \uccode`\ç=`\ç\lccode`\ç=`\ç%
  667. \uccode`\ê=`\ê\lccode`\ê=`\ê%
  668. \uccode`\ë=`\ë\lccode`\ë=`\ë%
  669. \uccode`\è=`\è\lccode`\è=`\è%
  670. \uccode`\ï=`\ï\lccode`\ï=`\ï%
  671. \uccode`\î=`\î\lccode`\î=`\î%
  672. \uccode`\ì=`\ì\lccode`\ì=`\ì%
  673. \uccode`\Ä=`\Ä\lccode`\Ä=`\Ä%
  674. \uccode`\Å=`\Å\lccode`\Å=`\Å%
  675. \uccode`\É=`\É\lccode`\É=`\É%
  676. \uccode`\æ=`\æ\lccode`\æ=`\æ%
  677. \uccode`\Æ=`\Æ\lccode`\Æ=`\Æ%
  678. \uccode`\ô=`\ô\lccode`\ô=`\ô%
  679. \uccode`\ö=`\ö\lccode`\ö=`\ö%
  680. \uccode`\ò=`\ò\lccode`\ò=`\ò%
  681. \uccode`\û=`\û\lccode`\û=`\û%
  682. \uccode`\ù=`\ù\lccode`\ù=`\ù%
  683. \uccode`\ÿ=`\ÿ\lccode`\ÿ=`\ÿ%
  684. \uccode`\Ö=`\Ö\lccode`\Ö=`\Ö%
  685. \uccode`\Ü=`\Ü\lccode`\Ü=`\Ü%
  686. \uccode`\¢=`\¢\lccode`\¢=`\¢%
  687. \uccode`\£=`\£\lccode`\£=`\£%
  688. \uccode`\¥=`\¥\lccode`\¥=`\¥%
  689. \uccode`\₧=`\₧\lccode`\₧=`\₧%
  690. \uccode`\ƒ=`\ƒ\lccode`\ƒ=`\ƒ%
  691. \uccode`\á=`\á\lccode`\á=`\á%
  692. \uccode`\í=`\í\lccode`\í=`\í%
  693. \uccode`\ó=`\ó\lccode`\ó=`\ó%
  694. \uccode`\ú=`\ú\lccode`\ú=`\ú%
  695. \uccode`\ñ=`\ñ\lccode`\ñ=`\ñ%
  696. \uccode`\Ñ=`\Ñ\lccode`\Ñ=`\Ñ%
  697. \uccode`\ª=`\ª\lccode`\ª=`\ª%
  698. \uccode`\º=`\º\lccode`\º=`\º%
  699. \uccode`\¿=`\¿\lccode`\¿=`\¿%
  700. \uccode`\⌐=`\⌐\lccode`\⌐=`\⌐%
  701. \uccode`\¬=`\¬\lccode`\¬=`\¬%
  702. \uccode`\½=`\½\lccode`\½=`\½%
  703. \uccode`\¼=`\¼\lccode`\¼=`\¼%
  704. \uccode`\¡=`\¡\lccode`\¡=`\¡%
  705. \uccode`\«=`\«\lccode`\«=`\«%
  706. \uccode`\»=`\»\lccode`\»=`\»%
  707. \uccode`\░=`\░\lccode`\░=`\░%
  708. \uccode`\▒=`\▒\lccode`\▒=`\▒%
  709. \uccode`\▓=`\▓\lccode`\▓=`\▓%
  710. \uccode`\│=`\│\lccode`\│=`\│%
  711. \uccode`\┤=`\┤\lccode`\┤=`\┤%
  712. \uccode`\╡=`\╡\lccode`\╡=`\╡%
  713. \uccode`\╢=`\╢\lccode`\╢=`\╢%
  714. \uccode`\╖=`\╖\lccode`\╖=`\╖%
  715. \uccode`\╕=`\╕\lccode`\╕=`\╕%
  716. \uccode`\╣=`\╣\lccode`\╣=`\╣%
  717. \uccode`\║=`\║\lccode`\║=`\║%
  718. \uccode`\╗=`\╗\lccode`\╗=`\╗%
  719. \uccode`\╝=`\╝\lccode`\╝=`\╝%
  720. \uccode`\╜=`\╜\lccode`\╜=`\╜%
  721. \uccode`\╛=`\╛\lccode`\╛=`\╛%
  722. \uccode`\┐=`\┐\lccode`\┐=`\┐%
  723. \uccode`\└=`\└\lccode`\└=`\└%
  724. \uccode`\┴=`\┴\lccode`\┴=`\┴%
  725. \uccode`\┬=`\┬\lccode`\┬=`\┬%
  726. \uccode`\├=`\├\lccode`\├=`\├%
  727. \uccode`\─=`\─\lccode`\─=`\─%
  728. \uccode`\┼=`\┼\lccode`\┼=`\┼%
  729. \uccode`\╞=`\╞\lccode`\╞=`\╞%
  730. \uccode`\╟=`\╟\lccode`\╟=`\╟%
  731. \uccode`\╚=`\╚\lccode`\╚=`\╚%
  732. \uccode`\╔=`\╔\lccode`\╔=`\╔%
  733. \uccode`\╩=`\╩\lccode`\╩=`\╩%
  734. \uccode`\╦=`\╦\lccode`\╦=`\╦%
  735. \uccode`\╠=`\╠\lccode`\╠=`\╠%
  736. \uccode`\═=`\═\lccode`\═=`\═%
  737. \uccode`\╬=`\╬\lccode`\╬=`\╬%
  738. \uccode`\╧=`\╧\lccode`\╧=`\╧%
  739. \uccode`\╨=`\╨\lccode`\╨=`\╨%
  740. \uccode`\╤=`\╤\lccode`\╤=`\╤%
  741. \uccode`\╥=`\╥\lccode`\╥=`\╥%
  742. \uccode`\╙=`\╙\lccode`\╙=`\╙%
  743. \uccode`\╘=`\╘\lccode`\╘=`\╘%
  744. \uccode`\╒=`\╒\lccode`\╒=`\╒%
  745. \uccode`\╓=`\╓\lccode`\╓=`\╓%
  746. \uccode`\╫=`\╫\lccode`\╫=`\╫%
  747. \uccode`\╪=`\╪\lccode`\╪=`\╪%
  748. \uccode`\┘=`\┘\lccode`\┘=`\┘%
  749. \uccode`\┌=`\┌\lccode`\┌=`\┌%
  750. \uccode`\█=`\█\lccode`\█=`\█%
  751. \uccode`\▄=`\▄\lccode`\▄=`\▄%
  752. \uccode`\▌=`\▌\lccode`\▌=`\▌%
  753. \uccode`\▐=`\▐\lccode`\▐=`\▐%
  754. \uccode`\▀=`\▀\lccode`\▀=`\▀%
  755. \uccode`\α=`\α\lccode`\α=`\α%
  756. \uccode`\ß=`\ß\lccode`\ß=`\ß%
  757. \uccode`\Γ=`\Γ\lccode`\Γ=`\Γ%
  758. \uccode`\π=`\π\lccode`\π=`\π%
  759. \uccode`\Σ=`\Σ\lccode`\Σ=`\Σ%
  760. \uccode`\σ=`\σ\lccode`\σ=`\σ%
  761. \uccode`\µ=`\µ\lccode`\µ=`\µ%
  762. \uccode`\τ=`\τ\lccode`\τ=`\τ%
  763. \uccode`\Φ=`\Φ\lccode`\Φ=`\Φ%
  764. \uccode`\Θ=`\Θ\lccode`\Θ=`\Θ%
  765. \uccode`\Ω=`\Ω\lccode`\Ω=`\Ω%
  766. \uccode`\δ=`\δ\lccode`\δ=`\δ%
  767. \uccode`\∞=`\∞\lccode`\∞=`\∞%
  768. \uccode`\φ=`\φ\lccode`\φ=`\φ%
  769. \uccode`\ε=`\ε\lccode`\ε=`\ε%
  770. \uccode`\∩=`\∩\lccode`\∩=`\∩%
  771. \uccode`\≡=`\≡\lccode`\≡=`\≡%
  772. \uccode`\±=`\±\lccode`\±=`\±%
  773. \uccode`\≥=`\≥\lccode`\≥=`\≥%
  774. \uccode`\≤=`\≤\lccode`\≤=`\≤%
  775. \uccode`\⌠=`\⌠\lccode`\⌠=`\⌠%
  776. \uccode`\⌡=`\⌡\lccode`\⌡=`\⌡%
  777. \uccode`\÷=`\÷\lccode`\÷=`\÷%
  778. \uccode`\≈=`\≈\lccode`\≈=`\≈%
  779. \uccode`\°=`\°\lccode`\°=`\°%
  780. \uccode`\∙=`\∙\lccode`\∙=`\∙%
  781. \uccode`\·=`\·\lccode`\·=`\·%
  782. \uccode`\√=`\√\lccode`\√=`\√%
  783. \uccode`\ⁿ=`\ⁿ\lccode`\ⁿ=`\ⁿ%
  784. \uccode`\²=`\²\lccode`\²=`\²%
  785. \uccode`\■=`\■\lccode`\■=`\■%
  786. \uccode`\ =`\ \lccode`\ =`\ %
  787. }
  788. %DOS codepage 850 -> T1
  789. \expandafter\def\csname 850\endcsname{%
  790. \def Ç{\protect\c C}%
  791. \def ü{\protect\"u}%
  792. \def é{\protect\'e}%
  793. \def â{\protect\^a}%
  794. \def ä{\protect\"a}%
  795. \def à{\protect\`a}%
  796. \def å{\protect\"a}%
  797. \def ç{\protect\c c}%
  798. \def ê{\protect\aa{}}%
  799. \def ë{\protect\"e}%
  800. \def è{\protect\`e}%
  801. \def ï{\protect\"\i{}}%
  802. \def î{\protect\^\i{}}%
  803. \def ì{\protect\`\i{}}%
  804. \def Ä{\protect\"A}%
  805. \def Å{\protect\AA{}}%
  806. \def É{\protect\'E}%
  807. \def æ{\protect\ae{}}%
  808. \def Æ{\protect\AE{}}%
  809. \def ô{\protect\^o}%
  810. \def ö{\protect\"o}%
  811. \def ò{\protect\`o}%
  812. \def û{\protect\^u}%
  813. \def ù{\protect\`u}%
  814. \def ÿ{\protect\"y}%
  815. \def Ö{\protect\"O}%
  816. \def Ü{\protect\"U}%
  817. \def ¥{\protect\O{}}%
  818. \def á{\protect\'a}%
  819. \def í{\protect\'\i{}}%
  820. \def ó{\protect\'o}%
  821. \def ú{\protect\'u}%
  822. \def ñ{\protect\~n}%
  823. \def Ñ{\protect\~N}%
  824. \def ¿{?`}%
  825. \def ¡{!`}%
  826. \def «{<<~}%
  827. \def »{~>>}%
  828. \def ╡{\protect\'A}%
  829. \def ╢{\protect\AA{}}%
  830. \def ╖{\protect\`A}%
  831. \def ╞{\protect\~a}%
  832. \def ╟{\protect\~A}%
  833. \def ╨{\protect\dh{}}%
  834. \def ╤{\protect\DH{}}%
  835. \def ╥{\protect\^E}%
  836. \def ╙{\protect\"E}%
  837. \def ╘{\protect\`E}%
  838. \def ╓{\protect\'I}%
  839. \def ╫{\protect\^I}%
  840. \def ╪{\protect\"I}%
  841. \def ▐{\protect\`I}%
  842. \def α{\protect\'O}%
  843. \def ß{\protect\ss{}}%
  844. \def Γ{\protect\^O}%
  845. \def π{\protect\`O}%
  846. \def Σ{\protect\~o}%
  847. \def σ{\protect\~O}%
  848. \def τ{\protect\TH{}}%
  849. \def Φ{\protect\th{}}%
  850. \def Θ{\protect\'U}%
  851. \def Ω{\protect\^U}%
  852. \def δ{\protect\`U}%
  853. \def ∞{\protect\'y}%
  854. \def φ{\protect\'Y}%
  855. \uccode`\Ç=`\Ç\lccode`\Ç=`\ç%
  856. \uccode`\ü=`\Ü\lccode`\ü=`\ü%
  857. \uccode`\é=`\É\lccode`\é=`\é%
  858. \uccode`\â=`\╢\lccode`\â=`\â%
  859. \uccode`\ä=`\Ä\lccode`\ä=`\ä%
  860. \uccode`\à=`\╖\lccode`\à=`\à%
  861. \uccode`\å=`\╢\lccode`\å=`\å%
  862. \uccode`\ç=`\Ç\lccode`\ç=`\ç%
  863. \uccode`\ê=`\╥\lccode`\ê=`\ê%
  864. \uccode`\ë=`\╙\lccode`\ë=`\ë%
  865. \uccode`\è=`\╘\lccode`\è=`\è%
  866. \uccode`\ï=`\╪\lccode`\ï=`\ï%
  867. \uccode`\î=`\╫\lccode`\î=`\î%
  868. \uccode`\ì=`\▐\lccode`\ì=`\ì%
  869. \uccode`\Ä=`\Ä\lccode`\Ä=`\ä%
  870. \uccode`\Å=`\Å\lccode`\Å=`\å%
  871. \uccode`\É=`\É\lccode`\É=`\é%
  872. \uccode`\æ=`\Æ\lccode`\æ=`\æ%
  873. \uccode`\Æ=`\Æ\lccode`\Æ=`\æ%
  874. \uccode`\ô=`\Γ\lccode`\ô=`\ô%
  875. \uccode`\ö=`\Ö\lccode`\ö=`\ö%
  876. \uccode`\ò=`\π\lccode`\ò=`\ò%
  877. \uccode`\û=`\Ω\lccode`\û=`\û%
  878. \uccode`\ù=`\δ\lccode`\ù=`\ù%
  879. \uccode`\ÿ=`\Y\lccode`\ÿ=`\ÿ%
  880. \uccode`\Ö=`\Ö\lccode`\Ö=`\ö%
  881. \uccode`\Ü=`\Ü\lccode`\Ü=`\ü%
  882. \uccode`\¥=`\¥\lccode`\¥=`\o%
  883. \uccode`\á=`\╡\lccode`\á=`\á%
  884. \uccode`\í=`\╓\lccode`\í=`\í%
  885. \uccode`\ó=`\α\lccode`\ó=`\ó%
  886. \uccode`\ú=`\Θ\lccode`\ú=`\ú%
  887. \uccode`\ñ=`\Ñ\lccode`\ñ=`\ñ%
  888. \uccode`\Ñ=`\Ñ\lccode`\Ñ=`\ñ%
  889. \uccode`\░=`\░\lccode`\░=`\ß%
  890. \uccode`\╡=`\╡\lccode`\╡=`\á%
  891. \uccode`\╢=`\╢\lccode`\╢=`\å%
  892. \uccode`\╖=`\╖\lccode`\╖=`\à%
  893. \uccode`\╞=`\╟\lccode`\╞=`\╞%
  894. \uccode`\╟=`\╟\lccode`\╟=`\╞%
  895. \uccode`\╨=`\╤\lccode`\╨=`\╨%
  896. \uccode`\╤=`\╤\lccode`\╤=`\╨%
  897. \uccode`\╥=`\╥\lccode`\╥=`\å%
  898. \uccode`\╙=`\╙\lccode`\╙=`\ë%
  899. \uccode`\╘=`\╘\lccode`\╘=`\è%
  900. \uccode`\╓=`\╓\lccode`\╓=`\í%
  901. \uccode`\╫=`\╫\lccode`\╫=`\î%
  902. \uccode`\╪=`\╪\lccode`\╪=`\ï%
  903. \uccode`\▐=`\▐\lccode`\▐=`\ì%
  904. \uccode`\α=`\α\lccode`\α=`\ó%
  905. \uccode`\ß=`\ß\lccode`\ß=`\░% --> uppercase es-zet simulated by ^^b0
  906. \uccode`\Γ=`\Γ\lccode`\Γ=`\ô%
  907. \uccode`\π=`\π\lccode`\π=`\ò%
  908. \uccode`\Σ=`\σ\lccode`\Σ=`\Σ%
  909. \uccode`\σ=`\σ\lccode`\σ=`\Σ%
  910. \uccode`\µ=`\M\lccode`\µ=`\µ%
  911. \uccode`\τ=`\τ\lccode`\τ=`\Φ%
  912. \uccode`\Φ=`\τ\lccode`\Φ=`\Φ%
  913. \uccode`\Θ=`\Θ\lccode`\Θ=`\ú%
  914. \uccode`\Ω=`\Ω\lccode`\Ω=`\û%
  915. \uccode`\δ=`\δ\lccode`\δ=`\ù%
  916. \uccode`\∞=`\φ\lccode`\∞=`\∞%
  917. \uccode`\φ=`\φ\lccode`\φ=`\∞}
  918. %DOS codepage 437 -> T1
  919. \expandafter\def\csname 437\endcsname{%
  920. \def Ç{\protect\c C}%
  921. \def ü{\protect\"u}%
  922. \def é{\protect\'e}%
  923. \def â{\protect\^a}%
  924. \def ä{\protect\"a}%
  925. \def à{\protect\`a}%
  926. \def å{\protect\"a}%
  927. \def ç{\protect\c c}%
  928. \def ê{\protect\aa{}}%
  929. \def ë{\protect\"e}%
  930. \def è{\protect\`e}%
  931. \def ï{\protect\"\i{}}%
  932. \def î{\protect\^\i{}}%
  933. \def ì{\protect\`\i{}}%
  934. \def Ä{\protect\"A}%
  935. \def Å{\protect\AA{}}%
  936. \def É{\protect\'E}%
  937. \def æ{\protect\ae{}}%
  938. \def Æ{\protect\AE{}}%
  939. \def ô{\protect\^o}%
  940. \def ö{\protect\"o}%
  941. \def ò{\protect\`o}%
  942. \def û{\protect\^u}%
  943. \def ù{\protect\`u}%
  944. \def ÿ{\protect\"y}%
  945. \def Ö{\protect\"O}%
  946. \def Ü{\protect\"U}%
  947. \def ¥{\protect\Yen{}}%
  948. \def á{\protect\'a}%
  949. \def í{\protect\'\i{}}%
  950. \def ó{\protect\'o}%
  951. \def ú{\protect\'u}%
  952. \def ñ{\protect\~n}%
  953. \def Ñ{\protect\~N}%
  954. \def ¿{?`}%
  955. \def ¡{!`}%
  956. \def «{<<~}%
  957. \def »{~>>}%
  958. \def ╡{\protect\'A}% simulated (for \uppercase etc.)
  959. \def ╢{\protect\AA{}}% simulated (for \uppercase etc.)
  960. \def ╖{\protect\`A}% simulated (for \uppercase etc.)
  961. \def ╥{\protect\^E}% simulated (for \uppercase etc.)
  962. \def ╙{\protect\"E}% simulated (for \uppercase etc.)
  963. \def ╘{\protect\`E}% simulated (for \uppercase etc.)
  964. \def ╓{\protect\'I}% simulated (for \uppercase etc.)
  965. \def ╫{\protect\^I}% simulated (for \uppercase etc.)
  966. \def ╪{\protect\"I}% simulated (for \uppercase etc.)
  967. \def ▐{\protect\`I}% simulated (for \uppercase etc.)
  968. \def α{\protect\'O}% simulated (for \uppercase etc.)
  969. \def ß{\protect\ss{}}%
  970. \def Γ{\protect\^O}% simulated (for \uppercase etc.)
  971. \def π{\protect\`O}% simulated (for \uppercase etc.)
  972. \def Θ{\protect\'U}% simulated (for \uppercase etc.)
  973. \def Ω{\protect\^U}% simulated (for \uppercase etc.)
  974. \def δ{\protect\`U}% simulated (for \uppercase etc.)
  975. \uccode`\Ç=`\Ç\lccode`\Ç=`\ç%
  976. \uccode`\ü=`\Ü\lccode`\ü=`\ü%
  977. \uccode`\é=`\É\lccode`\é=`\é%
  978. \uccode`\â=`\╢\lccode`\â=`\â%
  979. \uccode`\ä=`\Ä\lccode`\ä=`\ä%
  980. \uccode`\à=`\╖\lccode`\à=`\à%
  981. \uccode`\å=`\╢\lccode`\å=`\å%
  982. \uccode`\ç=`\Ç\lccode`\ç=`\ç%
  983. \uccode`\ê=`\╥\lccode`\ê=`\ê%
  984. \uccode`\ë=`\╙\lccode`\ë=`\ë%
  985. \uccode`\è=`\╘\lccode`\è=`\è%
  986. \uccode`\ï=`\╪\lccode`\ï=`\ï%
  987. \uccode`\î=`\╫\lccode`\î=`\î%
  988. \uccode`\ì=`\▐\lccode`\ì=`\ì%
  989. \uccode`\Ä=`\Ä\lccode`\Ä=`\ä%
  990. \uccode`\Å=`\Å\lccode`\Å=`\å%
  991. \uccode`\É=`\É\lccode`\É=`\é%
  992. \uccode`\æ=`\Æ\lccode`\æ=`\æ%
  993. \uccode`\Æ=`\Æ\lccode`\Æ=`\æ%
  994. \uccode`\ô=`\Γ\lccode`\ô=`\ô%
  995. \uccode`\ö=`\Ö\lccode`\ö=`\ö%
  996. \uccode`\ò=`\π\lccode`\ò=`\ò%
  997. \uccode`\û=`\Ω\lccode`\û=`\û%
  998. \uccode`\ù=`\δ\lccode`\ù=`\ù%
  999. \uccode`\ÿ=`\Y\lccode`\ÿ=`\ÿ%
  1000. \uccode`\Ö=`\Ö\lccode`\Ö=`\ö%
  1001. \uccode`\Ü=`\Ü\lccode`\Ü=`\ü%
  1002. \uccode`\¥=`\¥\lccode`\¥=`\o%
  1003. \uccode`\á=`\╡\lccode`\á=`\á%
  1004. \uccode`\í=`\╓\lccode`\í=`\í%
  1005. \uccode`\ó=`\α\lccode`\ó=`\ó%
  1006. \uccode`\ú=`\Θ\lccode`\ú=`\ú%
  1007. \uccode`\ñ=`\Ñ\lccode`\ñ=`\ñ%
  1008. \uccode`\Ñ=`\Ñ\lccode`\Ñ=`\ñ%
  1009. \uccode`\░=`\░\lccode`\░=`\ß%
  1010. \uccode`\╡=`\╡\lccode`\╡=`\á%
  1011. \uccode`\╢=`\╢\lccode`\╢=`\å%
  1012. \uccode`\╖=`\╖\lccode`\╖=`\à%
  1013. \uccode`\╥=`\╥\lccode`\╥=`\å%
  1014. \uccode`\╙=`\╙\lccode`\╙=`\ë%
  1015. \uccode`\╘=`\╘\lccode`\╘=`\è%
  1016. \uccode`\╓=`\╓\lccode`\╓=`\í%
  1017. \uccode`\╫=`\╫\lccode`\╫=`\î%
  1018. \uccode`\╪=`\╪\lccode`\╪=`\ï%
  1019. \uccode`\▐=`\▐\lccode`\▐=`\ì%
  1020. \uccode`\α=`\α\lccode`\α=`\ó%
  1021. \uccode`\ß=`\ß\lccode`\ß=`\░% --> uppercase es-zet simulated by ^^b0
  1022. \uccode`\Γ=`\Γ\lccode`\Γ=`\ô%
  1023. \uccode`\π=`\π\lccode`\π=`\ò%
  1024. \uccode`\µ=`\M\lccode`\µ=`\µ%
  1025. \uccode`\Θ=`\Θ\lccode`\Θ=`\ú%
  1026. \uccode`\Ω=`\Ω\lccode`\Ω=`\û%
  1027. \uccode`\δ=`\δ\lccode`\δ=`\ù%
  1028. }
  1029. \expandafter\def\csname 8859-1\endcsname{%
  1030. \def É{\protect\i{}}%
  1031. \def Ö{SS}% Used to simulate uppercase German es-zet
  1032. \def £{\protect\"Y}% Used to simulate uppercase Y with dieresis
  1033. \def í{!`}%
  1034. \def ú{\pounds{}}%
  1035. \def Ñ{\Yen{}}%
  1036. \def º{\S{}}%
  1037. \def ⌐{\copyright{}}%
  1038. \def ½{<<~}%
  1039. \def ╢{\P{}}%
  1040. \def ╗{~>>}%
  1041. \def ┐{?`}%
  1042. \def └{\protect\`A}%
  1043. \def ┴{\protect\'A}%
  1044. \def ┬{\protect\^A}%
  1045. \def ├{\protect\~A}%
  1046. \def ─{\protect\"A}%
  1047. \def ┼{\protect\AA{}}%
  1048. \def ╞{\protect\AE{}}%
  1049. \def ╟{\protect\c C}%
  1050. \def ╚{\protect\`E}%
  1051. \def ╔{\protect\'E}%
  1052. \def ╩{\protect\^E}%
  1053. \def ╦{\protect\"E}%
  1054. \def ╠{\protect\`I}%
  1055. \def ═{\protect\'I}%
  1056. \def ╬{\protect\^I}%
  1057. \def ╧{\protect\"I}%
  1058. \def ╨{\protect\DH{}}%
  1059. \def ╤{\protect\~N}%
  1060. \def ╥{\protect\`O}%
  1061. \def ╙{\protect\'O}%
  1062. \def ╘{\protect\^O}%
  1063. \def ╒{\protect\~O}%
  1064. \def ╓{\protect\"O}%
  1065. \def ╪{\protect\O{}}%
  1066. \def ┘{\protect\`U}%
  1067. \def ┌{\protect\'U}%
  1068. \def █{\protect\^U}%
  1069. \def ▄{\protect\"U}%
  1070. \def ▌{\protect\'Y}%
  1071. \def ▐{\protect\TH{}}%
  1072. \def ▀{\protect\ss{}}%
  1073. \def α{\protect\`a}%
  1074. \def ß{\protect\'a}%
  1075. \def Γ{\protect\^a}%
  1076. \def π{\protect\~a}%
  1077. \def Σ{\protect\"a}%
  1078. \def σ{\protect\aa{}}%
  1079. \def µ{\protect\ae{}}%
  1080. \def τ{\protect\c c}%
  1081. \def Φ{\protect\`e}%
  1082. \def Θ{\protect\'e}%
  1083. \def Ω{\protect\^e}%
  1084. \def δ{\protect\"e}%
  1085. \def ∞{\protect\`\i{}}%
  1086. \def φ{\protect\'\i{}}%
  1087. \def ε{\protect\^\i{}}%
  1088. \def ∩{\protect\"\i{}}%
  1089. \def ≡{\protect\dh{}}%
  1090. \def ±{\protect\~n}%
  1091. \def ≥{\protect\`o}%
  1092. \def ≤{\protect\'o}%
  1093. \def ⌠{\protect\^o}%
  1094. \def ⌡{\protect\~o}%
  1095. \def ÷{\protect\"o}%
  1096. \def °{\protect\o{}}%
  1097. \def ∙{\protect\`u}%
  1098. \def ·{\protect\'u}%
  1099. \def √{\protect\^u}%
  1100. \def ⁿ{\protect\"u}%
  1101. \def ²{\protect\'y}%
  1102. \def ■{\protect\th{}}%
  1103. \def  {\protect\"y}%
  1104. \uccode`\Ç=`\I\lccode`\Ç=`\Ç%
  1105. \uccode`\└=`\└\lccode`\└=`\α%
  1106. \uccode`\┴=`\┴\lccode`\┴=`\ß%
  1107. \uccode`\┬=`\┬\lccode`\┬=`\Γ%
  1108. \uccode`\├=`\├\lccode`\├=`\π%
  1109. \uccode`\─=`\─\lccode`\─=`\Σ%
  1110. \uccode`\┼=`\┼\lccode`\┼=`\σ%
  1111. \uccode`\╞=`\╞\lccode`\╞=`\µ%
  1112. \uccode`\╟=`\╟\lccode`\╟=`\τ%
  1113. \uccode`\╚=`\╚\lccode`\╚=`\Φ%
  1114. \uccode`\╔=`\╔\lccode`\╔=`\Θ%
  1115. \uccode`\╩=`\╩\lccode`\╩=`\Ω%
  1116. \uccode`\╦=`\╦\lccode`\╦=`\δ%
  1117. \uccode`\╠=`\╠\lccode`\╠=`\∞%
  1118. \uccode`\═=`\═\lccode`\═=`\φ%
  1119. \uccode`\╬=`\╬\lccode`\╬=`\ε%
  1120. \uccode`\╧=`\╧\lccode`\╧=`\∩%
  1121. \uccode`\╨=`\╨\lccode`\╨=`\≡%
  1122. \uccode`\╤=`\╤\lccode`\╤=`\±%
  1123. \uccode`\╥=`\╥\lccode`\╥=`\≥%
  1124. \uccode`\╙=`\╙\lccode`\╙=`\≤%
  1125. \uccode`\╘=`\╘\lccode`\╘=`\⌠%
  1126. \uccode`\╒=`\╒\lccode`\╒=`\⌡%
  1127. \uccode`\╓=`\╓\lccode`\╓=`\÷%
  1128. \uccode`\╪=`\╪\lccode`\╪=`\°%
  1129. \uccode`\┘=`\┘\lccode`\┘=`\∙%
  1130. \uccode`\┌=`\┌\lccode`\┌=`\·%
  1131. \uccode`\█=`\█\lccode`\█=`\√%
  1132. \uccode`\▄=`\▄\lccode`\▄=`\ⁿ%
  1133. \uccode`\▌=`\▌\lccode`\▌=`\ⁿ%
  1134. \uccode`\▐=`\▐\lccode`\▐=`\■%
  1135. \uccode`\▀=`\Ö\lccode`\▀=`\▀% \uppercase\ss simulated by code ^^99
  1136. \uccode`\α=`\└\lccode`\α=`\α%
  1137. \uccode`\ß=`\┴\lccode`\ß=`\ß%
  1138. \uccode`\Γ=`\┬\lccode`\Γ=`\Γ%
  1139. \uccode`\π=`\├\lccode`\π=`\π%
  1140. \uccode`\Σ=`\─\lccode`\Σ=`\Σ%
  1141. \uccode`\σ=`\┼\lccode`\σ=`\σ%
  1142. \uccode`\µ=`\╞\lccode`\µ=`\µ%
  1143. \uccode`\τ=`\╟\lccode`\τ=`\τ%
  1144. \uccode`\Φ=`\╚\lccode`\Φ=`\Φ%
  1145. \uccode`\Θ=`\╔\lccode`\Θ=`\Θ%
  1146. \uccode`\Ω=`\╩\lccode`\Ω=`\Ω%
  1147. \uccode`\δ=`\╦\lccode`\δ=`\δ%
  1148. \uccode`\∞=`\╠\lccode`\∞=`\∞%
  1149. \uccode`\φ=`\═\lccode`\φ=`\φ%
  1150. \uccode`\ε=`\╬\lccode`\ε=`\ε%
  1151. \uccode`\∩=`\╧\lccode`\∩=`\∩%
  1152. \uccode`\≡=`\╨\lccode`\≡=`\≡%
  1153. \uccode`\±=`\╤\lccode`\±=`\±%
  1154. \uccode`\≥=`\╥\lccode`\≥=`\≥%
  1155. \uccode`\≤=`\╙\lccode`\≤=`\≤%
  1156. \uccode`\⌠=`\╘\lccode`\⌠=`\⌠%
  1157. \uccode`\⌡=`\╒\lccode`\⌡=`\⌡%
  1158. \uccode`\÷=`\╓\lccode`\÷=`\÷%
  1159. \uccode`\°=`\╪\lccode`\°=`\°%
  1160. \uccode`\∙=`\┘\lccode`\∙=`\∙%
  1161. \uccode`\·=`\┌\lccode`\·=`\·%
  1162. \uccode`\√=`\█\lccode`\√=`\√%
  1163. \uccode`\ⁿ=`\▄\lccode`\ⁿ=`\ⁿ%
  1164. \uccode`\²=`\▌\lccode`\²=`\²%
  1165. \uccode`\■=`\▐\lccode`\■=`\■%
  1166. \uccode`\ =`\£\lccode`\ =`\ }% uppercase \"y simulated by ^^9c
  1167. \def\ANSIActives{% (for Windowz)
  1168. \def Ç{SS}% Used to simulate uppercase German es-zet
  1169. \def ä{,,}%
  1170. \def å{\ldots{}}%
  1171. \def ç{\dagger{}}%
  1172. \def ê{\ddagger{}}%
  1173. \def ï{\protect\v S}%
  1174. \def î{\flq{}}%
  1175. \def ì{\protect\OE{}}%
  1176. \def É{`}%
  1177. \def æ{'}%
  1178. \def Æ{``}%
  1179. \def ô{''}%
  1180. \def ò{--}%
  1181. \def û{---}%
  1182. \def Ö{\protect\v s}%
  1183. \def Ü{\frq{}}%
  1184. \def ¢{\protect\oe{}}%
  1185. \def £{}%
  1186. \def ¥{}%
  1187. \def ₧{}%
  1188. \def ƒ{\protect\"Y}%
  1189. \def í{!`}%
  1190. \def ú{\pounds{}}%
  1191. \def Ñ{\Yen{}}%
  1192. \def º{\S{}}%
  1193. \def ⌐{\copyright{}}%
  1194. \def ½{<<~}%
  1195. \def ╢{\P{}}%
  1196. \def ╗{~>>}%
  1197. \def ┐{?`}%
  1198. \def └{\protect\`A}%
  1199. \def ┴{\protect\'A}%
  1200. \def ┬{\protect\^A}%
  1201. \def ├{\protect\~A}%
  1202. \def ─{\protect\"A}%
  1203. \def ┼{\protect\AA{}}%
  1204. \def ╞{\protect\AE{}}%
  1205. \def ╟{\protect\c C}%
  1206. \def ╚{\protect\`E}%
  1207. \def ╔{\protect\'E}%
  1208. \def ╩{\protect\^E}%
  1209. \def ╦{\protect\"E}%
  1210. \def ╠{\protect\`I}%
  1211. \def ═{\protect\'I}%
  1212. \def ╬{\protect\^I}%
  1213. \def ╧{\protect\"I}%
  1214. \def ╨{\protect\DH{}}%
  1215. \def ╤{\protect\~N}%
  1216. \def ╥{\protect\`O}%
  1217. \def ╙{\protect\'O}%
  1218. \def ╘{\protect\^O}%
  1219. \def ╒{\protect\~O}%
  1220. \def ╓{\protect\"O}%
  1221. \def ╪{\protect\O{}}%
  1222. \def ┘{\protect\`U}%
  1223. \def ┌{\protect\'U}%
  1224. \def █{\protect\^U}%
  1225. \def ▄{\protect\"U}%
  1226. \def ▌{\protect\'Y}%
  1227. \def ▐{\protect\TH{}}%
  1228. \def ▀{\protect\ss{}}%
  1229. \def α{\protect\`a}%
  1230. \def ß{\protect\'a}%
  1231. \def Γ{\protect\^a}%
  1232. \def π{\protect\~a}%
  1233. \def Σ{\protect\"a}%
  1234. \def σ{\protect\aa{}}%
  1235. \def µ{\protect\ae{}}%
  1236. \def τ{\protect\c c}%
  1237. \def Φ{\protect\`e}%
  1238. \def Θ{\protect\'e}%
  1239. \def Ω{\protect\^e}%
  1240. \def δ{\protect\"e}%
  1241. \def ∞{\protect\`\i{}}%
  1242. \def φ{\protect\'\i{}}%
  1243. \def ε{\protect\^\i{}}%
  1244. \def ∩{\protect\"\i{}}%
  1245. \def ≡{\protect\dh{}}%
  1246. \def ±{\protect\~n}%
  1247. \def ≥{\protect\`o}%
  1248. \def ≤{\protect\'o}%
  1249. \def ⌠{\protect\^o}%
  1250. \def ⌡{\protect\~o}%
  1251. \def ÷{\protect\"o}%
  1252. \def °{\protect\o{}}%
  1253. \def ∙{\protect\`u}%
  1254. \def ·{\protect\'u}%
  1255. \def √{\protect\^u}%
  1256. \def ⁿ{\protect\"u}%
  1257. \def ²{\protect\'y}%
  1258. \def ■{\protect\th{}}%
  1259. \def  {\protect\"y}%
  1260. \uccode`\ï=`\ï\lccode`\ï=`\Ö%
  1261. \uccode`\ì=`\ì\lccode`\ì=`\¢%
  1262. \uccode`\Ö=`\ï\lccode`\Ö=`\Ö%
  1263. \uccode`\¢=`\¢\lccode`\¢=`\ì%
  1264. \uccode`\└=`\└\lccode`\└=`\α%
  1265. \uccode`\┴=`\┴\lccode`\┴=`\ß%
  1266. \uccode`\┬=`\┬\lccode`\┬=`\Γ%
  1267. \uccode`\├=`\├\lccode`\├=`\π%
  1268. \uccode`\─=`\─\lccode`\─=`\Σ%
  1269. \uccode`\┼=`\┼\lccode`\┼=`\σ%
  1270. \uccode`\╞=`\╞\lccode`\╞=`\µ%
  1271. \uccode`\╟=`\╟\lccode`\╟=`\τ%
  1272. \uccode`\╚=`\╚\lccode`\╚=`\Φ%
  1273. \uccode`\╔=`\╔\lccode`\╔=`\Θ%
  1274. \uccode`\╩=`\╩\lccode`\╩=`\Ω%
  1275. \uccode`\╦=`\╦\lccode`\╦=`\δ%
  1276. \uccode`\╠=`\╠\lccode`\╠=`\∞%
  1277. \uccode`\═=`\═\lccode`\═=`\φ%
  1278. \uccode`\╬=`\╬\lccode`\╬=`\ε%
  1279. \uccode`\╧=`\╧\lccode`\╧=`\∩%
  1280. \uccode`\╨=`\╨\lccode`\╨=`\≡%
  1281. \uccode`\╤=`\╤\lccode`\╤=`\±%
  1282. \uccode`\╥=`\╥\lccode`\╥=`\≥%
  1283. \uccode`\╙=`\╙\lccode`\╙=`\≤%
  1284. \uccode`\╘=`\╘\lccode`\╘=`\⌠%
  1285. \uccode`\╒=`\╒\lccode`\╒=`\⌡%
  1286. \uccode`\╓=`\╓\lccode`\╓=`\÷%
  1287. \uccode`\╪=`\╪\lccode`\╪=`\°%
  1288. \uccode`\┘=`\┘\lccode`\┘=`\∙%
  1289. \uccode`\┌=`\┌\lccode`\┌=`\·%
  1290. \uccode`\█=`\█\lccode`\█=`\√%
  1291. \uccode`\▄=`\▄\lccode`\▄=`\ⁿ%
  1292. \uccode`\▌=`\▌\lccode`\▌=`\ⁿ%
  1293. \uccode`\▐=`\▐\lccode`\▐=`\■%
  1294. \uccode`\▀=`\Ö\lccode`\▀=`\▀% \uppercase\ss simulated by code ^^80
  1295. \uccode`\α=`\└\lccode`\α=`\α%
  1296. \uccode`\ß=`\┴\lccode`\ß=`\ß%
  1297. \uccode`\Γ=`\┬\lccode`\Γ=`\Γ%
  1298. \uccode`\π=`\├\lccode`\π=`\π%
  1299. \uccode`\Σ=`\─\lccode`\Σ=`\Σ%
  1300. \uccode`\σ=`\┼\lccode`\σ=`\σ%
  1301. \uccode`\µ=`\╞\lccode`\µ=`\µ%
  1302. \uccode`\τ=`\╟\lccode`\τ=`\τ%
  1303. \uccode`\Φ=`\╚\lccode`\Φ=`\Φ%
  1304. \uccode`\Θ=`\╔\lccode`\Θ=`\Θ%
  1305. \uccode`\Ω=`\╩\lccode`\Ω=`\Ω%
  1306. \uccode`\δ=`\╦\lccode`\δ=`\δ%
  1307. \uccode`\∞=`\╠\lccode`\∞=`\∞%
  1308. \uccode`\φ=`\═\lccode`\φ=`\φ%
  1309. \uccode`\ε=`\╬\lccode`\ε=`\ε%
  1310. \uccode`\∩=`\╧\lccode`\∩=`\∩%
  1311. \uccode`\≡=`\╨\lccode`\≡=`\≡%
  1312. \uccode`\±=`\╤\lccode`\±=`\±%
  1313. \uccode`\≥=`\╥\lccode`\≥=`\≥%
  1314. \uccode`\≤=`\╙\lccode`\≤=`\≤%
  1315. \uccode`\⌠=`\╘\lccode`\⌠=`\⌠%
  1316. \uccode`\⌡=`\╒\lccode`\⌡=`\⌡%
  1317. \uccode`\÷=`\╓\lccode`\÷=`\÷%
  1318. \uccode`\°=`\╪\lccode`\°=`\°%
  1319. \uccode`\∙=`\┘\lccode`\∙=`\∙%
  1320. \uccode`\·=`\┌\lccode`\·=`\·%
  1321. \uccode`\√=`\█\lccode`\√=`\√%
  1322. \uccode`\ⁿ=`\▄\lccode`\ⁿ=`\ⁿ%
  1323. \uccode`\²=`\▌\lccode`\²=`\²%
  1324. \uccode`\■=`\▐\lccode`\■=`\■%
  1325. \uccode`\ =`\ƒ\lccode`\ =`\ }%
  1326.  
  1327.  
  1328. \endinput
  1329.  
  1330. %% Template for creation of new encodings and PERL script to obtain it:
  1331. perl -e "for ($i=0x80;$i<=0xFF;$i++) ╢{printf(╢"\\def %c╢{╢}\%\%\n╢", $i);╢}"
  1332. \def Ç{}%
  1333. \def ü{}%
  1334. \def é{}%
  1335. \def â{}%
  1336. \def ä{}%
  1337. \def à{}%
  1338. \def å{}%
  1339. \def ç{}%
  1340. \def ê{}%
  1341. \def ë{}%
  1342. \def è{}%
  1343. \def ï{}%
  1344. \def î{}%
  1345. \def ì{}%
  1346. \def Ä{}%
  1347. \def Å{}%
  1348. \def É{}%
  1349. \def æ{}%
  1350. \def Æ{}%
  1351. \def ô{}%
  1352. \def ö{}%
  1353. \def ò{}%
  1354. \def û{}%
  1355. \def ù{}%
  1356. \def ÿ{}%
  1357. \def Ö{}%
  1358. \def Ü{}%
  1359. \def ¢{}%
  1360. \def £{}%
  1361. \def ¥{}%
  1362. \def ₧{}%
  1363. \def ƒ{}%
  1364. \def á{}%
  1365. \def í{}%
  1366. \def ó{}%
  1367. \def ú{}%
  1368. \def ñ{}%
  1369. \def Ñ{}%
  1370. \def ª{}%
  1371. \def º{}%
  1372. \def ¿{}%
  1373. \def ⌐{}%
  1374. \def ¬{}%
  1375. \def ½{}%
  1376. \def ¼{}%
  1377. \def ¡{}%
  1378. \def «{}%
  1379. \def »{}%
  1380. \def ░{}%
  1381. \def ▒{}%
  1382. \def ▓{}%
  1383. \def │{}%
  1384. \def ┤{}%
  1385. \def ╡{}%
  1386. \def ╢{}%
  1387. \def ╖{}%
  1388. \def ╕{}%
  1389. \def ╣{}%
  1390. \def ║{}%
  1391. \def ╗{}%
  1392. \def ╝{}%
  1393. \def ╜{}%
  1394. \def ╛{}%
  1395. \def ┐{}%
  1396. \def └{}%
  1397. \def ┴{}%
  1398. \def ┬{}%
  1399. \def ├{}%
  1400. \def ─{}%
  1401. \def ┼{}%
  1402. \def ╞{}%
  1403. \def ╟{}%
  1404. \def ╚{}%
  1405. \def ╔{}%
  1406. \def ╩{}%
  1407. \def ╦{}%
  1408. \def ╠{}%
  1409. \def ═{}%
  1410. \def ╬{}%
  1411. \def ╧{}%
  1412. \def ╨{}%
  1413. \def ╤{}%
  1414. \def ╥{}%
  1415. \def ╙{}%
  1416. \def ╘{}%
  1417. \def ╒{}%
  1418. \def ╓{}%
  1419. \def ╫{}%
  1420. \def ╪{}%
  1421. \def ┘{}%
  1422. \def ┌{}%
  1423. \def █{}%
  1424. \def ▄{}%
  1425. \def ▌{}%
  1426. \def ▐{}%
  1427. \def ▀{}%
  1428. \def α{}%
  1429. \def ß{}%
  1430. \def Γ{}%
  1431. \def π{}%
  1432. \def Σ{}%
  1433. \def σ{}%
  1434. \def µ{}%
  1435. \def τ{}%
  1436. \def Φ{}%
  1437. \def Θ{}%
  1438. \def Ω{}%
  1439. \def δ{}%
  1440. \def ∞{}%
  1441. \def φ{}%
  1442. \def ε{}%
  1443. \def ∩{}%
  1444. \def ≡{}%
  1445. \def ±{}%
  1446. \def ≥{}%
  1447. \def ≤{}%
  1448. \def ⌠{}%
  1449. \def ⌡{}%
  1450. \def ÷{}%
  1451. \def ≈{}%
  1452. \def °{}%
  1453. \def ∙{}%
  1454. \def ·{}%
  1455. \def √{}%
  1456. \def ⁿ{}%
  1457. \def ²{}%
  1458. \def ■{}%
  1459. \def  {}%
  1460. perl -e "for ($i=0x80;$i<=0xFF;$i++) ╢{printf(╢"\\uccode╢`\\%c=╢`\\%c\\lccode╢`\\%c=╢`\\%c\%\%\n╢", $i,$i,$i,$i);╢}"
  1461. \uccode`\Ç=`\Ç\lccode`\Ç=`\Ç%
  1462. \uccode`\ü=`\ü\lccode`\ü=`\ü%
  1463. \uccode`\é=`\é\lccode`\é=`\é%
  1464. \uccode`\â=`\â\lccode`\â=`\â%
  1465. \uccode`\ä=`\ä\lccode`\ä=`\ä%
  1466. \uccode`\à=`\à\lccode`\à=`\à%
  1467. \uccode`\å=`\å\lccode`\å=`\å%
  1468. \uccode`\ç=`\ç\lccode`\ç=`\ç%
  1469. \uccode`\ê=`\ê\lccode`\ê=`\ê%
  1470. \uccode`\ë=`\ë\lccode`\ë=`\ë%
  1471. \uccode`\è=`\è\lccode`\è=`\è%
  1472. \uccode`\ï=`\ï\lccode`\ï=`\ï%
  1473. \uccode`\î=`\î\lccode`\î=`\î%
  1474. \uccode`\ì=`\ì\lccode`\ì=`\ì%
  1475. \uccode`\Ä=`\Ä\lccode`\Ä=`\Ä%
  1476. \uccode`\Å=`\Å\lccode`\Å=`\Å%
  1477. \uccode`\É=`\É\lccode`\É=`\É%
  1478. \uccode`\æ=`\æ\lccode`\æ=`\æ%
  1479. \uccode`\Æ=`\Æ\lccode`\Æ=`\Æ%
  1480. \uccode`\ô=`\ô\lccode`\ô=`\ô%
  1481. \uccode`\ö=`\ö\lccode`\ö=`\ö%
  1482. \uccode`\ò=`\ò\lccode`\ò=`\ò%
  1483. \uccode`\û=`\û\lccode`\û=`\û%
  1484. \uccode`\ù=`\ù\lccode`\ù=`\ù%
  1485. \uccode`\ÿ=`\ÿ\lccode`\ÿ=`\ÿ%
  1486. \uccode`\Ö=`\Ö\lccode`\Ö=`\Ö%
  1487. \uccode`\Ü=`\Ü\lccode`\Ü=`\Ü%
  1488. \uccode`\¢=`\¢\lccode`\¢=`\¢%
  1489. \uccode`\£=`\£\lccode`\£=`\£%
  1490. \uccode`\¥=`\¥\lccode`\¥=`\¥%
  1491. \uccode`\₧=`\₧\lccode`\₧=`\₧%
  1492. \uccode`\ƒ=`\ƒ\lccode`\ƒ=`\ƒ%
  1493. \uccode`\á=`\á\lccode`\á=`\á%
  1494. \uccode`\í=`\í\lccode`\í=`\í%
  1495. \uccode`\ó=`\ó\lccode`\ó=`\ó%
  1496. \uccode`\ú=`\ú\lccode`\ú=`\ú%
  1497. \uccode`\ñ=`\ñ\lccode`\ñ=`\ñ%
  1498. \uccode`\Ñ=`\Ñ\lccode`\Ñ=`\Ñ%
  1499. \uccode`\ª=`\ª\lccode`\ª=`\ª%
  1500. \uccode`\º=`\º\lccode`\º=`\º%
  1501. \uccode`\¿=`\¿\lccode`\¿=`\¿%
  1502. \uccode`\⌐=`\⌐\lccode`\⌐=`\⌐%
  1503. \uccode`\¬=`\¬\lccode`\¬=`\¬%
  1504. \uccode`\½=`\½\lccode`\½=`\½%
  1505. \uccode`\¼=`\¼\lccode`\¼=`\¼%
  1506. \uccode`\¡=`\¡\lccode`\¡=`\¡%
  1507. \uccode`\«=`\«\lccode`\«=`\«%
  1508. \uccode`\»=`\»\lccode`\»=`\»%
  1509. \uccode`\░=`\░\lccode`\░=`\░%
  1510. \uccode`\▒=`\▒\lccode`\▒=`\▒%
  1511. \uccode`\▓=`\▓\lccode`\▓=`\▓%
  1512. \uccode`\│=`\│\lccode`\│=`\│%
  1513. \uccode`\┤=`\┤\lccode`\┤=`\┤%
  1514. \uccode`\╡=`\╡\lccode`\╡=`\╡%
  1515. \uccode`\╢=`\╢\lccode`\╢=`\╢%
  1516. \uccode`\╖=`\╖\lccode`\╖=`\╖%
  1517. \uccode`\╕=`\╕\lccode`\╕=`\╕%
  1518. \uccode`\╣=`\╣\lccode`\╣=`\╣%
  1519. \uccode`\║=`\║\lccode`\║=`\║%
  1520. \uccode`\╗=`\╗\lccode`\╗=`\╗%
  1521. \uccode`\╝=`\╝\lccode`\╝=`\╝%
  1522. \uccode`\╜=`\╜\lccode`\╜=`\╜%
  1523. \uccode`\╛=`\╛\lccode`\╛=`\╛%
  1524. \uccode`\┐=`\┐\lccode`\┐=`\┐%
  1525. \uccode`\└=`\└\lccode`\└=`\└%
  1526. \uccode`\┴=`\┴\lccode`\┴=`\┴%
  1527. \uccode`\┬=`\┬\lccode`\┬=`\┬%
  1528. \uccode`\├=`\├\lccode`\├=`\├%
  1529. \uccode`\─=`\─\lccode`\─=`\─%
  1530. \uccode`\┼=`\┼\lccode`\┼=`\┼%
  1531. \uccode`\╞=`\╞\lccode`\╞=`\╞%
  1532. \uccode`\╟=`\╟\lccode`\╟=`\╟%
  1533. \uccode`\╚=`\╚\lccode`\╚=`\╚%
  1534. \uccode`\╔=`\╔\lccode`\╔=`\╔%
  1535. \uccode`\╩=`\╩\lccode`\╩=`\╩%
  1536. \uccode`\╦=`\╦\lccode`\╦=`\╦%
  1537. \uccode`\╠=`\╠\lccode`\╠=`\╠%
  1538. \uccode`\═=`\═\lccode`\═=`\═%
  1539. \uccode`\╬=`\╬\lccode`\╬=`\╬%
  1540. \uccode`\╧=`\╧\lccode`\╧=`\╧%
  1541. \uccode`\╨=`\╨\lccode`\╨=`\╨%
  1542. \uccode`\╤=`\╤\lccode`\╤=`\╤%
  1543. \uccode`\╥=`\╥\lccode`\╥=`\╥%
  1544. \uccode`\╙=`\╙\lccode`\╙=`\╙%
  1545. \uccode`\╘=`\╘\lccode`\╘=`\╘%
  1546. \uccode`\╒=`\╒\lccode`\╒=`\╒%
  1547. \uccode`\╓=`\╓\lccode`\╓=`\╓%
  1548. \uccode`\╫=`\╫\lccode`\╫=`\╫%
  1549. \uccode`\╪=`\╪\lccode`\╪=`\╪%
  1550. \uccode`\┘=`\┘\lccode`\┘=`\┘%
  1551. \uccode`\┌=`\┌\lccode`\┌=`\┌%
  1552. \uccode`\█=`\█\lccode`\█=`\█%
  1553. \uccode`\▄=`\▄\lccode`\▄=`\▄%
  1554. \uccode`\▌=`\▌\lccode`\▌=`\▌%
  1555. \uccode`\▐=`\▐\lccode`\▐=`\▐%
  1556. \uccode`\▀=`\▀\lccode`\▀=`\▀%
  1557. \uccode`\α=`\α\lccode`\α=`\α%
  1558. \uccode`\ß=`\ß\lccode`\ß=`\ß%
  1559. \uccode`\Γ=`\Γ\lccode`\Γ=`\Γ%
  1560. \uccode`\π=`\π\lccode`\π=`\π%
  1561. \uccode`\Σ=`\Σ\lccode`\Σ=`\Σ%
  1562. \uccode`\σ=`\σ\lccode`\σ=`\σ%
  1563. \uccode`\µ=`\µ\lccode`\µ=`\µ%
  1564. \uccode`\τ=`\τ\lccode`\τ=`\τ%
  1565. \uccode`\Φ=`\Φ\lccode`\Φ=`\Φ%
  1566. \uccode`\Θ=`\Θ\lccode`\Θ=`\Θ%
  1567. \uccode`\Ω=`\Ω\lccode`\Ω=`\Ω%
  1568. \uccode`\δ=`\δ\lccode`\δ=`\δ%
  1569. \uccode`\∞=`\∞\lccode`\∞=`\∞%
  1570. \uccode`\φ=`\φ\lccode`\φ=`\φ%
  1571. \uccode`\ε=`\ε\lccode`\ε=`\ε%
  1572. \uccode`\∩=`\∩\lccode`\∩=`\∩%
  1573. \uccode`\≡=`\≡\lccode`\≡=`\≡%
  1574. \uccode`\±=`\±\lccode`\±=`\±%
  1575. \uccode`\≥=`\≥\lccode`\≥=`\≥%
  1576. \uccode`\≤=`\≤\lccode`\≤=`\≤%
  1577. \uccode`\⌠=`\⌠\lccode`\⌠=`\⌠%
  1578. \uccode`\⌡=`\⌡\lccode`\⌡=`\⌡%
  1579. \uccode`\÷=`\÷\lccode`\÷=`\÷%
  1580. \uccode`\≈=`\≈\lccode`\≈=`\≈%
  1581. \uccode`\°=`\°\lccode`\°=`\°%
  1582. \uccode`\∙=`\∙\lccode`\∙=`\∙%
  1583. \uccode`\·=`\·\lccode`\·=`\·%
  1584. \uccode`\√=`\√\lccode`\√=`\√%
  1585. \uccode`\ⁿ=`\ⁿ\lccode`\ⁿ=`\ⁿ%
  1586. \uccode`\²=`\²\lccode`\²=`\²%
  1587. \uccode`\■=`\■\lccode`\■=`\■%
  1588. \uccode`\ =`\ \lccode`\ =`\ %
  1589.